discrete math proof

join shbcf.ru